Go To Statement Considered Harmful 论文

概述

Edsger Dijkstra 于1968年发表的编辑来信《Go To Statement Considered Harmful》，是计算机科学史上影响最深远的短文之一，开创了结构化编程运动。

项目内容

标题 Go To Statement Considered Harmful（原投稿标题：A Case against the GO TO Statement）

标题更改者 Niklaus Wirth（后来设计了 Pascal 语言）

项目	内容
标题	Go To Statement Considered Harmful（原投稿标题：A Case against the GO TO Statement）
标题更改者	Niklaus Wirth（后来设计了 Pascal 语言）
作者	Dijkstra 论证了 `goto` 语句从根本上破坏了程序的逻辑结构可理解性，使程序员无法在静态的程序文本与动态的执行过程之间建立可靠的心智对应。主张程序应当仅使用顺序、选择和循环三种控制结构来组织。坐标系论证 Dijkstra 独创性地用"坐标系"类比来分析不同控制结构的复杂度： - 纯顺序执行：只需一个数字（文本索引） - 过程调用：需要一个栈 - 循环：文本索引 + 循环计数器 - goto：没有任何规则的坐标系可以简洁描述历史影响开创了结构化编程运动直接影响了此后五十年间几乎所有编程语言的设计决策 "X Considered Harmful" 成为技术界最广泛使用的批评文体 Dijkstra 于1972年获得图灵奖来源 raw/books/计算机科学/06-dijkstra-goto-considered-harmful.md 相关 Edsger Dijkstra — 作者结构化编程 — 开创的运动意大利面条式代码 — 批判的对象 Bohm-Jacopini 定理 — 理论基础软件危机 — 时代背景 ← Go To Statement Considered Harmful Going Deeper with Convolutions (2014 论文) →

作者

Dijkstra 论证了 goto 语句从根本上破坏了程序的逻辑结构可理解性，使程序员无法在静态的程序文本与动态的执行过程之间建立可靠的心智对应。主张程序应当仅使用顺序、选择和循环三种控制结构来组织。

Dijkstra 独创性地用"坐标系"类比来分析不同控制结构的复杂度： - 纯顺序执行：只需一个数字（文本索引） - 过程调用：需要一个栈 - 循环：文本索引 + 循环计数器 - goto：没有任何规则的坐标系可以简洁描述